A two-level enriched finite element method for a mixed problem

The simplest pair of spaces is made inf-sup stable for the mixed form of the Darcy equation. The key ingredient is to enhance the finite element spaces inside a Petrov-Galerkin framework with functions satisfying element-wise local Darcy problems with right hand sides depending on the residuals over elements and edges. The enriched method is symmetric, locally mass conservative and keeps the degrees of freedom of the original interpolation spaces. First, we assume local enrichments exactly computed and we prove uniqueness and optimal error estimates in natural norms. Then, a low cost two-level finite element method is proposed to effectively obtain enhancing basis functions. The approach lays on a two-scale numerical analysis and shows that well-posedness and optimality is kept, despite the second level numerical approximation. Several numerical experiments validate the theoretical results and compares (favourably in some cases) our results with the classical Raviart-Thomas elemen

A posteriori error estimation for a PDE-constrained optimization problem involving the generalized Oseen equations

We derive globally reliable a posteriori error estimators for a linear-quadratic optimal control problem involving the generalized Oseen equations as state equations; control constraints are also considered. The corresponding local error indicators are locally efficient. The assumptions under which we perform the analysis are such that they can be satisfied for a wide variety of stabilized finite element methods as well as for standard finite element methods. When stabilized methods are considered, no a priori relation between the stabilization terms for the state and adjoint equations is required. If a lower bound for the inf-sup constant is available, a posteriori error estimators that are fully computable and provide guaranteed upper bounds on the norm of the error can be obtained. We illustrate the theory with numerical examples